Aysu Betin Can: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Web application testing: A systematic literature review

Doğan, Serdar, Betin-Can, Aysu, Garousi, Vahid

Journal:

Journal of Systems and Software

Year:

2014

Language:

english

File:

PDF, 2.84 MB

english, 2014

2

Software test-code engineering: A systematic mapping

Garousi Yusifoğlu, Vahid, Amannejad, Yasaman, Betin Can, Aysu

Journal:

Information and Software Technology

Year:

2015

Language:

english

File:

PDF, 3.19 MB

english, 2015

3

Automated Video Game Testing Using Synthetic and Human-Like Agents

Ariyurek, Sinan, Betin-Can, Aysu, Surer, Elif

Journal:

IEEE Transactions on Games

Year:

2019

File:

PDF, 8.48 MB

2019

4

ROLEX-SP: Rules of lexical syntactic patterns for free text categorization

Mohammed G.H. Al Zamil, Aysu Betin Can

Journal:

Knowledge-Based Systems

Year:

2011

Language:

english

File:

PDF, 378 KB

english, 2011

5

[IEEE 2010 5th International Symposium on Health Informatics and Bioinformatics - Ankara, Turkey (2010.04.20-2010.04.22)] 2010 5th International Symposium on Health Informatics and Bioinformatics - Toward effective medical search engines

Zamil, Mohammed AL, Can, Aysu Betin

Year:

2010

Language:

english

File:

PDF, 166 KB

english, 2010

6

Experimenting with software testbeds for evaluating new technologies

Mikael Lindvall, Ioana Rus, Paolo Donzelli, Atif Memon, Marvin Zelkowitz, Aysu Betin-Can, Tevfik Bultan, Chris Ackermann, Bettina Anders, Sima Asgari, Victor Basili, Lorin Hochstein, Jörg Fellmann, Fo

Journal:

Empirical Software Engineering

Year:

2007

Language:

english

File:

PDF, 502 KB

english, 2007

7

A systematic mapping study of web application testing

Garousi, Vahid, Mesbah, Ali, Betin-Can, Aysu, Mirshokraie, Shabnam

Journal:

Information and Software Technology

Year:

2013

Language:

english

File:

PDF, 2.70 MB

english, 2013

8

A survey of software engineering practices in Turkey

Garousi, Vahid, Coşkunçay, Ahmet, Betin-Can, Aysu, Demirörs, Onur

Journal:

Journal of Systems and Software

Year:

2015

Language:

english

File:

PDF, 1.67 MB

english, 2015

9

[IEEE 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Grenoble, France (2010.07.26-2010.07.28)] Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Modular verification of synchronization with reentrant locks

Bultan, Tevfik, Yu, Fang, Can, Aysu Betin

Year:

2010

Language:

english

File:

PDF, 677 KB

english, 2010

10

[IEEE 2016 IEEE International Conference on Smart Cloud (SmartCloud) - New York, NY, USA (2016.11.18-2016.11.20)] 2016 IEEE International Conference on Smart Cloud (SmartCloud) - Ubiquitous Cloud-Based Monitoring via a Mobile App in Smartphones: An Overview

Al-Turjman, Fadi, Betin-Can, Aysu, Ever, Enver, Alturjman, Sinem

Year:

2016

File:

PDF, 281 KB

2016

11

[IEEE 2008 International Conference on Computational Intelligence for Modelling Control & Automation - Vienna, Austria (2008.12.10-2008.12.12)] 2008 International Conference on Computational Intelligence for Modelling Control & Automation - Automatic Detection of Shared Objects in Multithreaded Java Programs

Tolubaeva, Munara, Can, Aysu Betin

Year:

2008

Language:

english

File:

PDF, 120 KB

english, 2008

12

MedicoPort: A medical search engine for all

Aysu Betin Can, Nazife Baykal

Journal:

Computer Methods and Programs in Biomedicine

Year:

2007

Language:

english

File:

PDF, 1.65 MB

english, 2007

13

Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers

Aysu Betin Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp

Journal:

Automated Software Engineering

Year:

2007

Language:

english

File:

PDF, 1.87 MB

english, 2007

14

[ACM Press the 20th IEEE/ACM international Conference - Long Beach, CA, USA (2005.11.07-2005.11.11)] Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering - ASE '05 - Application of design for verification with concurrency controllers to air traffic control software

Betin-Can, Aysu, Bultan, Tevfik, Lindvall, Mikael, Lux, Benjamin, Topp, Stefan

Year:

2005

Language:

english

File:

PDF, 179 KB

english, 2005

15

A model based on multi-features to enhance healthcare and medical document retrieval

Al Zamil, Mohammed G. H., Betin Can, Aysu

Journal:

Informatics for Health and Social Care

Year:

2011

Language:

english

File:

PDF, 1.22 MB

english, 2011

16

[IEEE 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - L'Aquila, Italy (2008.09.15-2008.09.19)] 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - An Assume Guarantee Verification Methodology for Aspect-Oriented Programming

Ispir, Mustafa, Betin Can, Aysu

Year:

2008

Language:

english

File:

PDF, 99 KB

english, 2008

17

Interface-Based Specification and Verification of Concurrency Controllers

Aysu Betin-Can, Tevfik Bultan

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 939 KB

english, 2003

18

[ACM Press the 14th international conference - Chiba, Japan (2005.05.10-2005.05.14)] Proceedings of the 14th international conference on World Wide Web - WWW '05 - Design for verification for asynchronously communicating Web services

Betin-Can, Aysu, Bultan, Tevfik, Fu, Xiang

Year:

2005

Language:

english

File:

PDF, 146 KB

english, 2005

19

[IEEE 2020 IEEE Conference on Games (CoG) - Osaka, Japan (2020.8.24-2020.8.27)] 2020 IEEE Conference on Games (CoG) - Enhancing the Monte Carlo Tree Search Algorithm for Video Game Testing

Ariyurek, Sinan, Betin-Can, Aysu, Surer, Elif

Year:

2020

File:

PDF, 965 KB

2020

20

Highly dependable concurrent programming using design for verification

Aysu Betin-Can, Tevfik Bultan

Journal:

Formal Aspects of Computing

Year:

2007

Language:

english

File:

PDF, 1.05 MB

english, 2007

21

Multi-objective regression test selection in practice: an empirical study in the defense software industry

Garousi, Vahid, Özkan, Ramazan, Betin-Can, Aysu

Journal:

Information and Software Technology

Year:

2018

Language:

english

File:

PDF, 1.44 MB

english, 2018

22

Modular Verification of Asynchronous Service Interactions Using Behavioral Interfaces

Betin-Can, Aysu, Halle, Sylvain, Bultan, Tevfik

Journal:

IEEE Transactions on Services Computing

Year:

2013

Language:

english

File:

PDF, 936 KB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски